xen/arm: check for GICv3 platform support
authorVijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Fri, 12 Sep 2014 11:09:49 +0000 (16:39 +0530)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 15 Sep 2014 21:56:42 +0000 (22:56 +0100)
commitff512a29052a6e44bbc703a58ef419d1e6333cd5
treee9e896a6d280e57f48dc0011bbb0e1c2771d8ca6
parent114f47459d0ce5ba4a49ae760113ceb5b6731876
xen/arm: check for GICv3 platform support

ID_AA64PFR0_EL1 register provides information about GIC support.
Check for this register in GICv3 driver.

Also print GICv3 support information in boot log

Signed-off-by: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic-v3.c
xen/arch/arm/setup.c
xen/include/asm-arm/cpufeature.h
xen/include/asm-arm/processor.h